fix version-pragmas