Further workaround for travis-ci