pin down regenerator version