- enhanced ctl patch to cover g++ 4.7