[vannoord@let.rug.nl: Re: ciao on Linux/Alpha: no luck]