hotfix for pivotal username