Summary of changes: 3988ace... try to reduce linker memory footprint (*) 50d5a81... another attempt at reducing linker memory footprint (*) 69a1d8b... remove obsolete flags (*) 3af8cee... Merge branch 'f17' (*) This commit already existed in another branch; no separate mail sent