more options in generateP4file than in previous