nrc Merge pull request #30 from nikomatsakis/master

tweak scripts for rustbuild compatibility

Latest commit 35b45b7

Jan 4, 2017