Fix oops in posix semantics patch for GCC 4.8.2

failed to increment pointer leading to infinite loop