Remove needless duplication in script/install