Correctly import runtime.h