reimplemented rascal library file system to prevent caching bugs