Use the standard naming for the ivy file.