dsl-flex-bison-strings