removed bnK-lang executable