Rename stub files to stub extension to not confuse IDEs. Fixes #1158.