fixing some platform independence bugs
restoring mistakenly deleted lines
fixing tabs
Merge pull request #76 from runtimeverification/fixSomePlatformDependence

Fix some platform dependence