fix for problems with Travis