My fixes to gpgpu-sim from http://www.gpgpu-sim.org/