Don-t-strip-symbols.patch
