make generation of strings for PHP decache more robust