From 7c2a051ce58fb42dab57e5588d87b4edc19507bc Mon Sep 17 00:00:00 2001 From: Andreas Huggel Date: Sun, 8 Nov 2009 16:27:19 +0000 Subject: [PATCH] #653: Added missing #include (and silenced two unrelated warnings).