basic parts of fileUse.ml as dot-file