oh, I think I get it: shutil.copytree() will also transfer `aux_bin`; 
in that case, shouldn't `aux_bin` be in the $PATH? 
IMHO, this is a need for self.moduleGenerator.prepend_paths()