install: renaming helper function 'config_header' to 'gislab_config_header'.