manually fix these versions