Template Template Parameters

First of all, thanks mlimber for answering my previous question. Now...

I'm following the example in "C++ Templates: The Complete Guide",
section 5.4 Template Template Parameters, and I'm wondering if it's
basics/stack8.hpp example can be compiled under g++ 4.

First a bit background about template template:

5.4 Template Template Parameters

It can be useful to allow a template parameter itself to be a class
template. Again, our stack class template can be used as an example. To
use a different internal container for stacks, the application programmer
has to specify the element type twice. Thus, to specify the type of the
internal container, you have to pass the type of the container and the
type of its elements again:

 Stack<int,std::vector<int> > vStack; // integer stack that uses a vector

Using template template parameters allows you to declare the Stack class
template by specifying the type of the container without respecifying the
type of its elements:

stack<int,std::vector> vStack; // integer stack that uses a vector

To do this you must specify the second template parameter as a template
template parameter...

To solve it, the book proposed the following solution (extracted to
preserve problem only):

$ cat -n templ-templ.cc
     1 #include <memory>
     2
     3 template< typename ALLOC = std::allocator<int> >
     4 class c {};
     5
     6 template <typename T,
     7 template <typename ELEM,
     8 typename ALLOC = std::allocator<ELEM> >
     9 class CONT = std::deque>
    10 class Stack { };
    11
    12 int main()
    13 {
    14 }

However, it doesn't compile under my g++:

$ g++ --version
g++ (GCC) 4.2.3 (Debian 4.2.3-1)

$ g++ -g templ-templ.cc -o templ-templ
templ-templ.cc:9: error: invalid default argument for a template template parameter

Anyone can help make it compile?

Thanks

tong