Simplify getting the number of processors under Linux.
Use $(...) instead of backticks.
Fix indentation.