#!/bin/sh

set -e

if [ "$1" != "upgrade" ]; then
	update-alternatives --remove mpi /usr/lib/x86_64-linux-gnu/openmpi/include
fi



exit 0