trying to fix travis CI tests