gnu: scotch: Explicitly pass "-DINTSIZE" to CMake.