I've just realised that we may need multiple versions of corepop for bootstrapping a new poplog on different machines.
I tried copying the latest poplog to a machine running an older kernel, and found that I could not run the latest basepop11, and could not rebuild it because the latest corepop also would not run. A possibly messy solution is to have different versions of corepop, of different ages, then using the latest one that runs to complete the installation of poplog on a new machine. Or perhaps I did something silly and it will work when I get time to try again. Aaron
