Discussed with @fgeorgatos offline: a binary GIMPS has its merits when using it as a stress-testing tool, so (somewhat reluctantly) accepting an easyconfig for a binary version as well.