Fixes Netflix/ice#131