The maximum size of kolo2.bin was indeed 9851 bytes. I cleaned it up a bit to reduce its size, and it has been fixed in version 1.1. Thank you!
