debugging for Travis-CI specific issue