compilation fix on linux.