make sure KARAF_OPTS is always set