constants defined in FSharpSource.targets instead