Summary of changes: e8dd41e... Fix RHEL dependencies (*) d76bcbf... Remove unused patch (*) a989626... 4.01 (*) This commit already existed in another branch; no separate mail sent