Fix missing GpuIntegerMap in build.xml