Switch to NFS filesharing for improved speed, and use bindfs to get rid
of permissions issues.