Issue #145: strip debug symbols