wmv acts twice; cabal update must be forced