/etc/profile.d/debuginfod.csh