fix GNU stuff