--- Csound5.13.0/install.py.orig	2011-04-07 08:02:28.460324321 +0100
+++ Csound5.13.0/install.py	2011-04-07 08:04:25.227162356 +0100
@@ -154,7 +154,7 @@
     fileList += [fileName]
     fullName = concatPath([instDir, fileName])
     err = runCmd(['install', '-p', '-m', perm, src, fullName])
-    if err == 0 and stripMode != '':
+    if err == 0 and stripMode == 'packman':
         err = runCmd(['strip', stripMode, fullName])
     if err == 0:
         addMD5(fullName, fileName)