Fix file list in old php builders