Delete proc.h