fix bug in finsh when built with 64bit-gcc

so simulator with finsh enableed can be built with gcc under 64-bit linux distributions.