Fixed bug in building ACL2(hp) (and probably ACL2(p)) found and analyzed by David Rager, that occurred when environment variable ACL2_CORE_COUNT is set.