Fix for 64bit Linux
Amend readme.rst