Fix mozilla/servo#670: build with different source and target dirs
Merge pull request #1 from SimonSapin/fix-servo-build

Fix mozilla/servo#670: build with different source and target dirs