Fixing bug in vector::resize(n,true) when shrinking external memory: dont shrink internal page tables.