Changes the compatibility DynamoRIO version for flag DynamoRIO_PAGE_SIZE_COMPATIBILITY. Fixes Dr. Memory build error.