Improve makebindeps.py