fixed a compile time warning on Debian platform