Only run history commands in the prompt if bash version >= 4.2