OS X hack for readlink -f