Puoi 'aggirare' il problema usando per il risultato della moltiplicazione
una variabile float, che poi passerai con un cast a quella int, così tagli
la parte decimale senza arrotondameti.
codice:
#include <stdio.h>
#include <stdlib.h>

int main()
{
	double y, tmp;
	int    infoy;
	char   OutputFile[80];
	
	y=0.6;
	printf("    y = %f\n", y); 
	tmp=y*100;
	printf("  ris = %f\n", tmp);	
	infoy=(int)tmp;
	printf("infoy = %d\n", infoy); 
	sprintf( OutputFile, "OutputFiles_%d.dat", infoy);
	printf(" file = %s\n", OutputFile);
	return 0;
}