linux build: add an easy option to strip binary