Is it necessary to shrink C drive for installing Manjaro Linux?