Try to make travis CI happy. For some reason static initialization is not working very well...