install -m755 ${SOURCE_DIRECTORY}/ltl2ba ${INSTALL_ROOT}/usr/bin/