Fix overly optimistic file naming.