py-gnureadline is a stub port
