made kernel brk actually work