The with bootloader hex is bogus. If you use my core, except for the chips where we can produce a bootloader-included image that works (ie, ones that use a bootloader and have hardware bootloader support - most dont and use virtual boot if you use the optional serial bootloadet, which rewrites 2 of the vectors when writing the sketch, so the with bootloader hex wouldn't work), it deletes this non-usable hex immediately.