Update to ExtCore 0.8.23.