add a script for stripping the resulting binaries