gnatmake -q rename
