Travis intermittent: disable flush() again since the intermittent is probably caused by the file not existing but we don't know why :/