fix bare-os.mk