RE: [PATCH] Update regexp-opt