Re-enable WITH_READLINE