GrayLevel impl. checkpoint.
lto for html/Tupfile