Actually fix HAL library linking.