ubuntu: proper integer compare