Please pull build improvements (and one code fix) from master#22

kevin-dot-pyle wants to merge 14 commits into

davidmalcolm:masterdavidmalcolm/gcc-python-plugin:masterfrom

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