c++ - ファイルからスペース区切りの数値を読み取る

Question

std::vector<int> loadNumbersFromFile(std::string name)
{
    std::vector<int> numbers;

    std::ifstream file;
    file.open(name.c_str());
    if(!file) {
        exit(EXIT_FAILURE);
    }

    int current;
    while(file >> current) {
        numbers.push_back(current);
        file.ignore(std::numeric_limits<std::streamsize>::max(), '\n');
    }
    return numbers;
}

問題は、VS 2012 では問題なく動作することですが、Dev C++ ではファイルの最初の数字を読み取るだけです。while ループは 1 回しか実行されません。なにが問題ですか？

.txt ファイルで動作するはずです。数値入力は次のようにする必要があります。

1 3 2 4 5