dev-regenerate now uses /bin/regenerate script