Replacing BUT file usage in ast0.cpp.