replace PinChangeInt by standard arduino library