fix up directory name for linux

0.9.3rc2-linux -> 0.9.3rc2

Having them in separate directories harder to compare.
Don't use the new convention yet for 0.9.3.