Fix debug config for the ms cmake build (#34)