devel/hs-vty: Fix build
math/hs-Agda: Fix build