change name of package for the generation (bdd related)