get rid of hf3lint