Is this package broken? This morning I did a apt-get upgrade and now wdm and wmaker no longer work. Is anybody else seeing this problem? I can provide more info upon request. mike...