Additional Linux bash_profile options such as valgrind