Some PATH mangling for travis-ci