Alois Precechtel, plukovník