changed specs file extension