Remove third-party libraries

Seems @AurelienRibon has allowed his site to expire, so his libraries are no longer available.