Fix prompt so that it is no longer responsible for calling console
prompt and setting PS9.