sketch compilation for the Mythbook project