StringSearch.c:  use XLALConvertREAL4TimeSeriesToREAL8 for Virgo