fix incorrect window size on Windows; close #12