correct executable header