propagating the files from master to devel branch (These are the files, which are removed from master)