WITH_POROTOC option