Update WIMMS dependency