Fix .profile, so it can be symlinked on sentinel.tarski