file header is executable