workaround for the php cli issue