Plan: Temporarily disable some report functionality
CI complains of missing header file and I have problems compiling kproperty...