[SQUASH] Remove the pre-existing gecode deb if it exists