32bit PHP support