# Fix file encoding (sdk2013)
de72e1ad4d764cbf5e544237a8bc3e82befa9bf5