Exporting to .bashrc did not work as expected