renamed build-config.sh to build.config, fixed a bug in build.sh that was ignoring command line specification of config file