adjustment for Travis-CI