New ldc release 0.13.0