Minor build system improvements#3

davidmalcolm merged 5 commits intodavidmalcolm:masterdavidmalcolm/gcc-python-plugin:masterfrom

kevin-dot-pyle:masterkevin-dot-pyle/gcc-python-plugin:masterCopy head branch name to clipboard