Make bash profile work in Linux again