Correct the profile name in Travis configuration