(fix) Undid temporary hack for travis.