Building via stax and using csys (checkpoint)