Windows 10 build 14257 (rs1 release.160131-1800)

Windows 10 build 14257 was released on 2016-02-03 to Fast Ring Insiders. There are a few bugfixes in this build.