perhaps solve compilation problems at travis