See https://github.com/espidev/gpgpu-sim-docker