a few tweaks in installation files