Travis-CI Mac OS X: remove unneeded lines