Updating for redbean 4