makefile adapted for binconv