Is there any image burner and USB thumb formatter you would recommend me? obviously libre and for Linux. I’ve tried a couple from my distro’s store but they don’t work on my thumb or they are broken or outdated.