Attempts to fix compilation in Travis