Fix lib/libs mismatch

This now compiles on AIDE