Allow to specify which file should be used to read the ABI