I don't think -gnatE buys you anything, as GNAT's default, static elaboration model is more strict. Nevertheless, the following patch (applied in Monotone in branch org.debian.gnat-gps.3.1.3) should take care of the Program_Error.
-- Ludovic Brenta. Index: common/src/basic_mapper.ads =================================================================== --- common/src/basic_mapper.ads.orig 2006-10-23 09:18:37.000000000 +0200 +++ common/src/basic_mapper.ads 2006-10-23 09:18:56.000000000 +0200 @@ -24,6 +24,8 @@ with String_Hash; with GNAT.OS_Lib; use GNAT.OS_Lib; +pragma Elaborate_All (String_Hash); + package Basic_Mapper is type File_Mapper is limited private; -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]