trying to fix travis OSX 1.9.3 problem