Provide empty file; symbol is with the double precision version.