hdlmake2 binary