fix #14 : default filename