Fixes bug in userspace's brk