# Fix for bug #172919
sed -i -e '/# include <asm\/page.h>/d' vvp/main.cc || die "sed failed"
# Fix for bug #294543
echo "\$O.o: version.h" >> Makefile.in
# Fix tests
mkdir -p lib/ivl
touch lib/ivl/ivl