force travis rebuild due to Github issues