fix tbsd_*_built flags not being set