Fix parallel `make install'
[mmh] / DATE
1 2016-08-15