clean remaining dump
fixes #441;
Merge branch 'develop' of git@github.com:WebTales/rubedo.git into develop