Another attempt to configure travis CI