Enabled build of the event driven server on 64-bit Linux (tested on Debian 7.1)