shell header fix for functions.inc.sh