Don't forget to install agda-ffi