+TERMUX_PKG_NO_DEVELSPLIT=yes
+TERMUX_PKG_CONFLICTS="flex-dev"
+TERMUX_PKG_REPLACES="flex-dev"
+
+termux_step_pre_configure() {
+ mkdir -p $TERMUX_PKG_BUILDDIR/src/
+ cp $TERMUX_PKG_HOSTBUILD_DIR/src/stage1flex $TERMUX_PKG_BUILDDIR/src/stage1flex
+ touch -d "next hour" $TERMUX_PKG_BUILDDIR/src/stage1flex
+}