(cherry picked from commit d032f60c37ebdae3afd9a24212497ec8725ee4fb)
(cherry picked from commit 3389aab889719081e240ce169ec5bc0d5ccd60d0)
The src points to the obsidiansystems repo as it has the ghcjs ported from 8.10.5 to 8.10.7, and a bunch of other fixes (#812, #811, #809) (cherry picked from commit ba25b274f4bb0240a8ffa71e41b55712930af3d8) Modified the stm_2_5_0_1 -> stm_2_5_0_0