make independent of being located in folder 'personal' of prelude ++ automatically download required but unprovided packages