Delete build_0.12.c