Add patch "tr1/cinttypes"