6072 extra symbols in bootadm usage() output