work towards getting hol_ver uncommented