workaround for deprecated autotools functionality on Travis builds