Fix readlink causing failure on OSX

`readlink -f` is not available on OSX. Rather than fighting with the
availability of commands on various systems, use a short inline Python
script to generate the DNAV_DIRECTORY.