bash patchlevel 008, readline patchlevel 003