Use REPLACE_BASH so that this works with platform bash too. PKGREVISION++