use simpler instructions for osgi