The modified ns-3-dev code used in TCP-Bolt (Infocom 2014)