Flush stdout after "Building index..." (fixes #15)