(Undoing part of commit f53eabe.)  It is better to keep this encoding
stable, so that all Lua versions can read at least the version of a
binary file.