* Fix a linux compiling error