Inexplicably, this time the build produced an insertable module. I must have erred at some point. Closing bug.
Inexplicably, this time the build produced an insertable module. I must have erred at some point. Closing bug.