Update archives (with compiler fix to #589)