Delete input_lib.h