Comment out offending definition to fix #11