Fix off-by-one in bionics install.

Fixes #10511 -- see discussion there for details.