Index: head/lang/maude/Makefile
===================================================================
--- head/lang/maude/Makefile
+++ head/lang/maude/Makefile
@@ -13,8 +13,6 @@
 LICENSE=	GPLv2
 LICENSE_FILE=	${WRKSRC}/COPYING
 
-BROKEN=		'cvc4_public.h' file not found
-
 BUILD_DEPENDS=	${LOCALBASE}/bin/flex:textproc/flex
 LIB_DEPENDS=	libbdd.so:science/buddy \
 		libtecla.so:devel/libtecla \
Index: head/lang/solidity/Makefile
===================================================================
--- head/lang/solidity/Makefile
+++ head/lang/solidity/Makefile
@@ -13,8 +13,6 @@
 
 LICENSE=	GPLv3
 
-BROKEN=		'cvc4_public.h' file not found
-
 BUILD_DEPENDS=	boost-libs>=0:devel/boost-libs
 LIB_DEPENDS=	libjsoncpp.so:devel/jsoncpp
 
Index: head/math/cvc4/Makefile
===================================================================
--- head/math/cvc4/Makefile
+++ head/math/cvc4/Makefile
@@ -2,6 +2,7 @@
 
 PORTNAME=	cvc4
 DISTVERSION=	1.7
+PORTREVISION=	1
 CATEGORIES=	math java
 MASTER_SITES+=	http://www.antlr3.org/download/:antlr3
 DISTFILES+=	antlr-3.4-complete.jar:antlr3
@@ -87,9 +88,8 @@
 	@${CHMOD} +x ${WRKDIR}/antlr3
 
 post-patch:
-	@${REINPLACE_CMD} -e "s|sed -i 's|sed -i.bak 's|g" \
+	@${REINPLACE_CMD} -e "s|sed -i 's|sed -i '' 's|g" \
 	${WRKSRC}/src/fix-install-headers.sh
-	@${FIND} ${WRKSRC} -name '*.bak' -delete
 
 # make a relative symlink instead of absolute to build dir
 post-install-JAVA-on: