SHA1 (patch-aa) = 7bf8ef1cdefbb931fd21811a2a2f6fc46cc5a564
SHA1 (patch-aj) = 7055cdcf6df0b2ea16ba18824fdf804a4bc14938
SHA1 (patch-configure) = 445b02ac6d9d280460306392722520b3416fba7c
-SHA1 (patch-rts_ghc.mk) = f20f543f06add384236d4be434c63a0bc42ebfa4
+SHA1 (patch-rts_ghc.mk) = 498df608a3709e9b8955b67bede9ba937500ac51