Fix build (hopefully) and add Travis badge to readme