fix runtime.h header file