The old forums are being retired in favour of a more modern (free) community platform.
These forums will remain accessible as a read only archive for the time being.
It's a little bit late, but anyways:
You need to change line
CPP_TYPENAME AllocatorBase<T>::pointer AlignedAllocator<T>::allocate(
to
CPP_TYPENAME AlignedAllocator<T>::pointer AlignedAllocator<T>::allocate(
in integer.cpp
