add gnatpp parameter