Re: [GHC] #7463: [PATCH] When -keep-hc-files is enabled, foreign stubs *_stub.c should also be kept.