make sure we use batman-adv 2013.4.0 and not the new and incompatible 2014.0.0