replaced buggy automated idal/idal64 detection with an explicit option