convert src filename to spec filename