compiling checkpoint
compiles with new avdl