Use 0 instead of FALSE to make g++ happy