Changed header file name for all.h