Thumper builds again (with wavefront 2013-08-28).