an actal working version of cabal packages
fix the auto-update script