A problem with bison 2.0 (which I suspect remains in later versions)
is that the startup option --skeleton=<filename> prepends the
filepath /usr/local/share/bison/ to <filename>. If one writes ones
own skeleton file, and does not have root privileges, then this
option cannot be used. A natural place for a local skeleton file is
somewhere in the distribution package.