Fix bash profile generation.