Fix php5*-spl-types

Closes #981