Summary of changes: f8f7cb7... update patches (*) d58c7de... * Fri Aug 15 2014 Fabian Affolter <mail at fabian-affolter.ch> (*) e591d6d... run without patch3 for now (*) (*) This commit already existed in another branch; no separate mail sent