added commands that SHOULD produce the pu target for hlt. There is a bug in the production of the jsonfile.