Remove lua "ReadFile" function. The file check is now done by LaTeX code