This makes it easier to re-use readline.c and pyexec.c from stmhal in
other ports.