Solc no longer produces verbose C files and instead now creates
libsol-compatible sol bytecode. Two files are no generated, a .solbin
bytecode file, and a .c file, which is a simple wrapper around the
binary file, but is compilable with as usual.