keep repo clean after make all

fix #271, suggested by @awiddersheim