workaround gcc-specific bug with mkSortedMapping_Default() factory - not sure why it needs predeclare of SortedMapping_stdmap;???