Added modified openmpi (from [Extra] repo) which applies --with-mpi-f90-size=small