Leinigen config