spec: use correct source file format