Correct datalogcompiler commit