lesept:
I don't have a Promini, all I have is Nanos with 328 and a Uno R3.
But the Arduino IDE does not know that and it may be perfectly happy with @AWOL's suggestion.
If I was in your situation I would try every suggestion I was given, however silly it might seem.
...R