fix spec for source file extension