Note that the config.sh file is left without a shebang, this file is
supposed to be sourced into the current environment.

This commit is purely cosmetic.
Signed-off-by: J. Dekker <jdek@itanimul.li>