Fix #1286: Adapt wrong checkfile override