Linux compilation error fixed