Make rpython happy