warning() should be static also in the header

Fix for issue #472