Avoid installing the same file twice.