Fix file_alloc() of the file memory provider
#800
Merged
file_alloc() of the file memory provider
#800