move hol-light after bootstrap in build-sequence