Fix 'make headers_check' on sh