install in-tree GMP library when booting