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

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

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

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

criu dump

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

i обновляет:

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

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