deb7: missed a few semicolons with setup changes.