bug#39939: python-tables tunes itself to the CPU at build time

[Ricardo Wurmus]

This should now be fixed with commit
70b74663b64a65f142b3aac8c79d952d96480008.

--
Ricardo