config.sh: minor changes
Fixes #12