Maven profile name fixed in Travis CI configuration