Temp travis-ci workaround