pixelzery/BashInt not found