removed changes introduced from branch KeyPredistrib
can be compiled finally