Remove (DOS encoded) file to re-enable GitHub button