hi files are now named after the module being compiled, not the
original filename (unless of course the user has specified -ohi <blah>).