.bash_profile: Try to grunt more quietly

Ref. #209.