a bit of cosmetics in install.sh + don't show id in type signature (may provoke unwanted diffs)