fix #8465, un-break optional bootstrap printing definitions