get ready to build agda