Fixing #68 linker issues on Ubuntu 13.10