use Formula#factory for opt_prefix