modtool: fix broken commit d09f1c3d