- added gcc patch (fixes build with g++ 4.8)