examples/charm++: Always use CkWallTimer, not CmiWallTimer (tested)