Summary of changes: 816a065... Use Makefile.config-dist instead of really long sed. "su" d (*) 9b94d60... Merge remote-tracking branch 'origin/master' into f16 (*) This commit already existed in another branch; no separate mail sent