- fixed getSingleInstSourceSatSolvable() in terms of pattern
  handling. the function stores projectxml always with the
  the suffix .gz which indicates a compressed version of the
  file. But the patterns information file could also contain
  a non compressed version of patterns.xml which is then
  wrongly used as compressed file