fix for travis config in bootloader