Correction of meta-data.
Correction: adding missing header file for ExtractPicosat.