FIX: issue #545 (Red shared library broken)