DO NOT REMOVE THIS FILE - it is a placeholder for the debian installer