Alternative fix is to simply remove VERSION_NUMBER as it is unused. See [check-in 5466dd55d4aa15fd](src:/info/5466dd55d4aa15fd).
Alternative fix is to simply remove VERSION_NUMBER as it is unused. See [check-in 5466dd55d4aa15fd](src:/info/5466dd55d4aa15fd).