I then updated my operating system configuration file as follows: