When this file is present, the source code
stems from the new SourceForge repository
after 2012-12-07, which is OK.
