bugfix for phpext bitsizes