another attempt to fix Travis errors