temporary hack for travis-ci cfg