changes for php 5.4.12 and FatFree