remove tmp file from dist
Merge branch 'devel'