More Travis/Mono fixes