Fixes #1666: fixed bootloader