Fix issue with libdevice function linking