Modifica il codice così...

codice:
#include <iostream>

int main(void) 
{
	int num = 0;
	std::cout << "PROVA";
	std::cin >> num;
}
e compilalo con

codice:
# g++ prova.cpp
dovrebbe funzionare un po' meglio.