set_color red
echo 'Autojump plugin deprecated.'
set_color normal