Add option to use binary core (causes uhc to crash)