fixed(?) travis CI