The current makefile already strips debug info but it seems like the strip command is more aggressive.
strip