Change binsem_down mechanism