corrected bug so that I can install OASIS 0.4.4 for example,

even if my HOME is on NFS