Fix 'make checkheaders', based on a patch by Diego Pettenò, flameeyes gmail com.