yet another Travis-CI fix