UserlandFS: another 64bit fix.