HILTI and BinPAC++ Dockerfile