For some unknown reason, NuGet.exe refuses to unpack Manatee.StateMachine when performing a restore, thus we include it (fixes #6).