Delete string-to-function.h