Not a bug - sorry. bash returns a different value for pwd on my system than
does sh/ksh. This is because I have a symlink in my path.