This removes the hack of forking a child, because I'll need to do more
than just passing a file name. The other tool using the same hack
(load-virtex) is unchanged as I don't need to work on it.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>