Removed empty lib/util file from PHP cartridge