more robuse builds on Travis CI