readline: rename from bash (which is just one application)