fix for ubuntu 13.04 linker