Fix build with Visual Studio 2012

This fixes issue#23.