Make it compatible with Travis-CI