Fix up travis CI build