gen-options.awk: Don't pass ERE to split().

Strange behaviour is observed on ULTRIX 4.5 nawk when passing a
literal ERE as the fs argument to the split function.  There is
no problem passing an equivalent string instead.