simplify file copy, really fix #20