Updating: extern-prfix modification for ATSLIB/prelude.