use official files from release 1.3.5