@ezdiy: Yup, timing was key

.
Fudging the version string is deliciously lo-fi, if that actually works, I like it

. c.f., the device_id script in the Helper extension for a tad more details about the format, because it's not entirely obvious how the build number is stored in there.