Extension to bash "cd" builtin