Replace BUT file usage in ast0.cpp