Linux compilation fix #3.