add dummy file to make sure fmpz_extras isn't empty