Workaround for broken OpenSC build scripts