Set GDB version number to 13.1.