Workaround to avoid an error with ooRexx5 when loading profiling.cls