fixing HAL wav filenames