[usocket-devel] Patch for ECL version 8.12