Fix compilation with headers