fix known issue in travis