Settings for the Travis build