fix the last-minute bug from 1.003, and an attempt to stretch the serial_no range
[mplib] / src /
drwxr-xr-x   ..
drwxr-xr-x - texk