more fixes to ext/spl