readlink on OS X is not the same as readlink on linux