// this is a placeholder for version.h, to make code-checking editors happy