linux compilation fix for previous patches
linux compilation fix for previous patches

Ignore-this: fb83073c1f1fc5557cf88ffea842f62f

darcs-hash:20090325091512-48308-ff7a9c8a812c9b2a5c965c88b30f17eec4558f6e.gz

sedna/sedna,sedna/sedna,sedna/sedna,sedna/sedna,sedna/sedna,sedna/sedna