bashrc: use $() instead of ``