finish compiled benv