make_var_export.awk for revision 7c4d457e68a1237b3110c992dc2f179e69cd663f is empty. It was probably moved to a different location or deleted. A click on the History button may reveal more details.