checkpoint: back to compiling