Bin file generated by keil

[JohnnyK (Jan Kamidra)]

That is not correct way how to do that.
You have to right click on mbed-os and chose Revisions..., then chose a MbdOS version (tag with 5.15.9), again right click and select Switch working...

BR, Jan