Temporary remove file to fix github bug