version stuff: use SINGULAR_VERSION