Update format of the GPGPU codegen related files