macosx: use greadlink if readlink -f is not available