The text f777b48b21cc, as Debian 9 (Stretch) shipped it.
Make a modifed run-input file
gmx-convert-tpr(1) on Linux now
