Fix build error. If there were a way to test travis offline, there would not be so many pushes...