[PATCH 10/10] elfcompress: New utility.