bash with procfs patch