no need to exit after throwing an uncatchable exception
file no longer needed