(Merge 3.2) main() now displays an error message before exiting if a command
line argument cannot be decoded