Fix for previous commit

Fix patch for gcc-4.8.0