Makefile: better compress binaries