Another hash-files fix for Ubuntu.