mature bj compilation