Delete alt_functions.h