RouteBuilder does not consider 'path' or 'pattern', only 'pattern'

code in line 97 only considers the route pattern, not route path, throwing an error when modules use 'path' rather than 'pattern', like (amongst others) the devel module.

        $route = new Route($route_info['pattern'], $route_info['defaults'], $route_info['requirements'], $route_info['options']);

Suggested fix:

        $path = isset($route_info['pattern']) ? $route_info['pattern'] : $route_info['path'];
        $route = new Route($path, $route_info['defaults'], $route_info['requirements'], $route_info['options']);