hol-light dir now builds again