Fixed #354 -- use split() in the correct RPython way