move satis.json to satis.json.dist