restore 'make installation' target