Work around Mono 3.10 bug for Travis