Branch sinq was renamed to sinqtmp.