fix linux specific (?) compilation error re casting