now Metis uses ExtLib instead of Batteries (uniformity with Zephyrus + bugfix)