Offload bash4 commands to bash4rc.