make install: do not create an unused directory