Improve ugly prompt behaviour in rinari-script