Makefile now compatible with POSIX /bin/sh

The oefenzittingen makefile is now compatible with linux installations that use a POSIX /bin/sh instead of /bin/bash