OSX: fix readlink call