PostInstall hook for compiling agda primitives