RLIMIT_AS seems to be exceeded at even large values