Fixed some settings in the linux configuration.