Fixed solution name in Travis CI configuration.