commented -test option when using gap5_export