add gnatpath option to Jago