As Alex says it's an external library. The file needs to be present alongside your boot.py and main.py or in one of the folders in your search path. So when you don't have the mqtt.py file it gives that error.