Do not load agda when missing