xbindkeys configuration, and a setup script for Linux