fix bad prefixing in install_tree() which caused install_tree() not being usable with the "common" target