(fix) Temporary hack for travis.