проблема с обновлением bash_profile

Каждый раз, когда я работаю с инструментом с именем criu, я устанавливаю переменную пути:

 PATH=$PATH:/home/th/criu-1.3-rc2; export PATH

, чтобы иметь возможность запустить

criu dump

, но когда я закрываю терминал и открываю это, это не работает

я обновляю:

echo 'export PATH=$PATH:/home/th/criu-1.3-rc2'  >> ~/.bash_profile

, но та же проблема сохраняется