Updates to ldkernel to work with more modern GHC compilers.