Link libsel4 to libs dir.