GCC optimization bug (was python memory usage)