compilation bugfix