Silence some spurious warnings under Travis