Mover yices thin binding to its corresponding directory