Actually 3 things on this, I'd like to say.
1. Various downloadable versions of my binaries are available direkt from my own web site at http://badcoder.atari.org/ including verzions of BadCode4 (Metal) suitable for Flash ROMs, pure binaries, and with .JAG headers suitable for uploading with BJL for maximum convenience. Due to problems at Atari.Org my site was down for a week, is back today.
2. My binaries are <not> public domain, they are released as free to use, whilst I retain all copyright and distribution rights. In particular, a condition to download is that files are not redistributed, I want to know how many copies are downloaded and how often, by seeing the log files of downloads from my site. The small numbers of downloads (maybe related to GoodJag recently) is why I decided before now not to release BadCode5, with no feedback also given recently. It is sad that people distributing files for emulators cannot respekt this, and the author of GoodJag refuses to even reply to any request to change the description of my files from PD.
3. BadCode4N (New Metal) as a stop-gap for BadCode5A should be available on my web-site very shortly, the update was lost due to problems on the server.
For other ROM images, Justclaws had a DOS EXE on his site that strips off a Jaguar header, and also utilities to add or remove the .JAG headers. I believe JUGS came with a utility to strip off .ABS headers to get a .BIN. TBird is that PD maybe?