Travis-CI improvements.