add workaround for boost sleep bug on windows