adding files and modification of node.ml