added missing files for bugfix for #64