Another attempt to fix Travis