make reloading ssh agent easier for RHEL