Rename workspace in Travis.. I'm an idiot