up memory constraint (I think something happened with glibc or the kernel)

no big deal, but now we get just a bit more memory allocated (4152 over
instead of the 4100 we were previously looking for)