5.4.2の公開を差し止めました

問題の報告がありましたので、取り急ぎ5.4.2の公開を差し止めました. 現在は5.4.1がダウンロードできるようにしています.