Fix build problem of Stackless 3.3.5 (refs #250)