Fixing #1247: Dynamic linking error