fix capitalisation in hol-light script files