Make sure that `extra_package Agda` doesn't accidentally pick up a
later version of `Agda` than what is currently patched.