sourceforge serves files inconsistently.