Fix Agda initialization.