Workaround for travis-ci build (old xcode tool)