fix the RoutingLoader to be compatible with PHP < 5.3.6