SEARCH: sloppy bj compilation