use program davide, fix #6