phpで共有ライブラリが使用できない場合に使う、ダミーファイルを追加