for Travis-CI