remove last vestiges of php