Fix bug generating executable section