[Z3-zemantic] can't seem to commit

[Michel Pelletier]

hold on that 0.5 stuff until I can do a commit, I can't seem to get it to 
work, but it worked earlier, so I assume it's a temporary issue.

-Michel