fixed a problem on Linux.