EXEHDR [options] filename