Fix a link error found on Linux.
Fix a link error found on Linux.

pleroy/Principia,pleroy/Principia,mockingbirdnest/Principia,pleroy/Principia,mockingbirdnest/Principia,eggrobin/Principia,eggrobin/Principia,mockingbirdnest/Principia,eggrobin/Principia,mockingbirdnest/Principia,pleroy/Principia