Changed the debian box file url to a more stable one, maintained by puppet ;)