Fix issue#1.

Can't be pushed right now due to another bug when trying to install a file under buildDir.