Re: [GHC] #10536: Clear up how to turn off dynamic linking in build.mk