では、そのファイルを普通にプチコンのTOPメニューから削除すればいいのでは？