Fixed debian/armhf linking bug