Fix for #842 

I did not find any reference of this file within the code.