Hello, I have cleaned the patch a bit, commited to a branch in our repo, and uploaded a package to debian, so we can test the libc part for now, and we'll include libpthread parts later. Thanks again for the great work! Samuel