Linux compilation fix #2.