fix travis config to test on MacOS X