Executable size

Could be a fun option. On NixOS, I’d love to be able to do that.