travis: override the default configurations