Clean pragha.h