Because it uses the same filename as esp32 Config.mk. (nuttx.bin)
Signed-off-by: Jan Charvat <jancharvat.charvat@gmail.com>