update for renamed hol-light subdirectory in vml