@bribri , @Mu0n , @8bitbubsy , @MIST, @noglin. OK, I've made a bit more progress, I now know where the wrong prototype is coming from and why, but I don't yet know the best way to solve it.
To recap, the compilation fails, because libResourceFiles.a contains the x86_64 signature for...