Downgrade a port in the FreeBSD ports tree