nbody: Fix using int instead of cl_int