Fixing problem with names of generated files in libmagpie