python/simple-tftpd: change default filename