Fix alphabetic order of libraries in Appendice