Workaround for travis-ci weirdness