fixes to deal with travis.ci