A slight devaluation would solve any remaining problem with export demand. This could be an explicit devaluation or an implicit one due to a price reduction, made possible by the reduction in unit production costs resulting from the extra working time at constant pay.