fixes in travis script