Fix undefined error reported by euromark