Re-enable command-prompt history