#6236: Fix version in makefile.