Now rely on bmp-1.2.4.1, which is on hackage