This value seems specific to the Travis setup, so it should not be part of the .dist file