Answering my own question here:
The binary produced by
does not have correct format. Build the target "gen_project_binary" internally defined by the IDF. This creates another .bin file that has the right format and can be flashed as described in the doc.