upgrade tiscaf to 0.8
fix readme
remove now unneeded workaround