This should be a pretty easy fix - although that should be handled automatically while building droid-hal packages?