Support making tables from coqc -time
chmod +x