Workaround to fix a link error in MS Windows