fixing problems with Travis build