Small fix for Warden.

Updated the plugin with a minor tweak for Warden.
Patch 5.1.2a Release!

Fixes some bugs for Linux users.