error: filedoalloc.c: No such file or directory