Linux vs OSX config for travis