fix proprietary files list/setup scripts