Remove obsolete things from .profile