No overriding of pre-set build tools options

This is a fix for issue #8.