Temporary fix for Travis build