fixes after moving to github
do not fail if the configured header was not found