Changing default of coq to not move around