Trying codecov.io path fixes the other way 'round.
Trying codecov.io path fixes the other way 'round.

Still trying to fix errors like "dungeon.c.gcno: No such file or
directory".

donmccaughey/FiendsAndFortune,donmccaughey/FiendsAndFortune,donmccaughey/FiendsAndFortune