stupid hack to get python linting to work