dev-lang/idris: fix build failure against trifecta-1.4.3 (which broke PVP)

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>