Summary of changes: 4837edf... Disable stripping to fix bug in gcc-go (*) c11cd27... Make it more generic (*) (*) This commit already existed in another branch; no separate mail sent