Another attempt to fix travis setup