version number, defaults for GPUSievePrimes and FlushInterval adjusted