テンポラリファイルのデフォルトソース

逐次実行用テンポラリファイルのデフォルトソースを修正。