bj. compilation