Investigate change in behaviour w.r.t integer package

[rahulmutt]

If we remove integer-gmp and integer-simple from the default list of packages, it causes build breakages. This needs to be investigated.