fix for problems with Travis2