Issue building SIMtrace firmware from OpenPCD repository