Fixed broken Travis CI build definition.