  * Fix an exception that would fill up the log on Linux

  * All Ubuntu versions since precise have now a PPA



