make travis use the correct settings