MIOS_PATH = .
MIOS_BIN_PATH = ./bin
export MIOS_PATH
export MIOS_BIN_PATH
include Makefile.orig
